Principal Conjunction Normal Form